Formalizati相关论文
WAPI是国内第一个的无线局域网标准。本文利用Kailar逻辑模型对WAPI中的证书鉴别过程形式化描述,并对其安全性进行了逻辑推理分析,......
基于石化企业综合自动化的需求，提出了多分辨率层次化物流模型建模框架和形式化描述方法，对物流模型的空间映射和时间推演作了统一数......
采用基于形式规范的测试模板框架(TTF)可使测试规范通用化.测试规范使用基于模型的规范语言,由描述语言Z定义TTF基本部件的形式描......
